Generative music in video games: State of the art, challenges, and prospects