Gamification in Ecology-Oriented Mobile Applications-Typologies and Purposes