Computing Collision Probability Using Differential Algebra and Advanced Monte Carlo Methods