A fast calculation method of rolling times in the GNSS real-time compaction quality supervisory system. (February 2019)