Text this: Job Shop Scheduling Based on Digital Twin Technology: A Survey and an Intelligent Platform