A Real-Time Fuel-Optimal Cruise Controller for Heavy Trucks using Road Topography Information