Shape prediction of bistable plates based on Timoshenko and Ashwell theories