It’s good for players to do different things – Gracia on gaming in football