Is Geolocation part of HTML5?