Modelling and optimization of insertion maneuvers at Mars