A convex, smooth and invertible contact model for trajectory optimization | Synapse