W3C Geolocation API + Google Maps JavaScript API