The GNSS integer ambiguities: estimation and validation door S. Verhagen