CAT conjunction collision non-linear relative motion linear maximum probability dilution region covariance Publication Date: August 2007