Scheduling in Industry 4.0 and Cloud Manufacturing