Describir: Coordination of bus departures by mathematical programming