Kalman filtering with intermittent observations