How Google Maps came to dominate navigation