Kalman-filter process and measurement noise settings for single-differenced observations adopted for processing GAP data