Rigorous Computation of Orbital Conjunctions