The GNSS integer ambiguities: Estimation and validation