Integer least-squares statistics for three frequency GPS/GNSS ambiguity resolution (2000)