Learning Task Automata for Reinforcement Learning using Hidden Markov Models