A geofencing library for Android