Two-dimensional model simulation of Martian atmospheric convection with condensation of the major component under fixed thermal forcing