Multi-scale Kalman filters algorithm for GPS common-view observation data based on correlation structure of discrete wavelet coefficients