SMS versenden: Coordination of bus departures by mathematical programming