Evaluation of new satellite-based approach procedures enabled by advanced receiver autonomous integrity monitoring algorithms: a case study of a Brazilian airport | IEEE Conference Publication | IEEE Xplore