Técnicas de gamificação aplicadas a um ambiente virtual de aprendizagem