Text this: Optimal cruise control of heavy-haul trains equipped with electronic controlled pneumatic brake systems