GpsManager: GPS management in Android