Open Surveyor is an Android application for convenient OSM data collection