Real-time averaging of position data from multiple GPS receivers. (August 2016)