Reinforcement Learning With High-Level Task Specifications