Nonlinear pose control and estimation for space proximity operations: an approach based on dual quaternions