An analytic method of propagating a covariance matrix to a maneuver condition for linear covariance analysis during rendezvous