A fast and optimal routing service for cars, bikes, and pedestrians that is based on OpenStreetMap data