Improvements in computational aspects of interval Kalman filtering enhanced by constraint propagation