Magma ocean thermal evolution model for determining basal pressure of last equilibration (bPLE)