The impact and resolution of the GPS week number rollover of April 2019 [pdf]