Nonlinear Mapping of Gaussian Statistics: Theory and Applications to Spacecraft Trajectory Design | Synapse