The GNSS integer ambiguities_ estimation and validation