Railways used OR to plan train schedules