Formalizing a Model to Represent and Visualize Concept Spaces in E-Learning Environments