A Mixed Integer Programming Framework for the Fuel Optimal Guidance of Complex Spacecraft Rendezvous and Proximity Operation Missions