Analysis and optimization in smart manufacturing based on a reusable knowledge base for process performance models.