Coffee shop, pub, restaurant, and hotel operator Whitbread has reported a revenue boost of 7.4% to £1,671m in the six months to 31 August 2017.