[BenjiWiebe]

I think they are actually measured with lasers, IIRC. Did a lot of research about GNSS when setting up an RTK base station, and used PPP to get the initial location.