Automaton-Guided Curriculum Generation for Reinforcement Learning Agents