Efficient computation of matrix–vector products with full observation weighting matrices in data assimilation. (11th October 2021)