Integer Programming for Optimal Control of Geostationary Station Keeping of Low-Thrust Satellites. Issue 1 (July 2017)