CAT conjunction collision non-linear relative motion linear maximum probability dilution region covariance