Gamified Exploratory GUI Testing of Web Applications: a Preliminary Evaluation