A formulation of non-hydrostatic model for moist convection in the Martian atmosphere