OntoGamif: A modular ontology for integrated gamification