On formulations of compressible mantle convection