Text this: Research progress of ARAIM technology