Development of a methodology for the operational evaluation of SBAS systems