A method for the repair of cycle slip using double-differenced velocity estimation for GNSS RTK positioning. Issue 9 (1st May 2019)