Facilitating player progression by implementing procedural music in videogames | IEEE Conference Publication | IEEE Xplore