Martian atmospheric CO 2 and pressure profiling with differential absorption lidar: System consideration and simulation results