Markov Decision Processes for Satellite Maneuver Planning and Collision Avoidance