Job scheduling of diffusion furnaces in semiconductor fabrication facilities