Variable Mask RAIM Availability Prediction Algorithm