Summary of stakeholder responses to ORR's update paper on the market study into the supply of automatic ticket gates and ticket vending machines - November 2018