Integrity monitoring using multi-GNSS pseudorange observations in the urban environment combining ARAIM and 3D city models. Issue 1 (2nd January 2022)