A Pontryagin-based NMPC approach for autonomous rendez-vous proximity operations