An iOS app for finding parking spaces