Video games music at the BBC Proms: “It was only a matter of time”