Train Scheduling with Hybrid Answer Set Programming