The GNSS integer ambiguities: estimation and validation