A Conceptual Architecture and Model for Smart Manufacturing Relying on Service-Based Digital Twins