Chance-Constrained Control for Safe Spacecraft Autonomy: Convex Programming Approach