Maximum Likelihood Parameter Estimation in a GNSS Receiver