Collision Risk Assessment for Perturbed Orbits Via Rigorous Global Optimization