Development and testing of model predictive control strategies for spacecraft formation flying