Which theoretical minimum number of measurements from satellites does a GPS receiver need in order to provide an exact three-dimensional position?