An experimental investigation and comparative evaluation of scheduling strategies for a dynamic job shop in a tool sharing environment