An android application for managing parking