Knowledge Formalization and Ontology Creation for Sustainability in Manufacturing Systems: A Literature Review