Application of Kalman Filter to Short-Term Tide Level Prediction