Exact and Bounded Collision Probability for Motion Planning under Gaussian Uncertainty