A mixed-integer least-squares formulation of the GNSS snapshot positioning problem. (26th November 2021)