AIAA 2004-5217 collision probability covariance ellipsoid Publication Date: August 2004