3 ms·GPS on BenchMarks: crowdsourced data collection for the National Geodetic Survey2 points by mpsq 4y ago