Flexible Resource Scheduling for Software-Defined Cloud Manufacturing with Edge Computing