Gamify your productivity: An app that offers an RPG-like leveling system for completing user-specified tasks