Convex Programming Approach to Powered Descent Guidance for Mars Landing | Synapse