A computationally efficient Kalman smoother for the evaluation of the CH4 budget in Europe