Chance-constrained dynamic programming with application to risk-aware robotic space exploration