Optimal parameter values for GPS post-processing: An experiment