2018 FIFA World Cup fans having fun with augmented reality