Travel Times before and after the Introduction of a High-Speed Rail Service