Development and evaluation of a generalized model of RAIM availability for single-, dual- and multi-satellite faults. (1st June 2022)