Android Location Privacy Framework -- a location obfuscation extension for Android