Treffer: Optimization-based sensor fusion of GNSS and IMU using a moving horizon approach