Employing Crowdsourcing for Enriching a Music Knowledge Base in Higher Education