What the new £1 coin means for vending machines