Chance Constrained Stochastic Optimal Control Of Discrete Time Linear Stochastic Systems With Applications In Multi-Satellite Operations