área de pesquisa Assessing the influences of procedural level generation through a digital math game : an empirical analysis Lucas Nascimento Ferreira Philip Michel duarte