What are the roles of artificial intelligence and machine learning in GNSS positioning