On-the-fly Ambiguity Resolution Using an Estimator of the Modified Ambiguity Covariance Matrix for the GNSS Positioning Model Based on Phase Data