Nonlinear Control for Proximity Operations Based on Differential Algebra