Uncertainty propagation using differential algebra: Applications in astrodynamics | Synapse