Geometric Methods For The Planning, Control, And Estimation Of Free-Flying Autonomous Systems