A linear computationally efficient Kalman filter for robust attitude estimation from horizon measurements and GNSS observations. Issue 2 (13th January 2020)