Simulation of 2D Mantle Convection Using FEniCS Framework