An innovation gain-adaptive Kalman filter for unmanned vibratory roller positioning. (15th November 2022)