Deep reinforcement learning for machine scheduling: Methodology, the state-of-the-art, and future directions