Text this: Analysis of influence of ionosphere and troposphere model on RAIM availability of COMPASS