Controlled vocabularies and ontologies in proteomics: Overview, principles and practice