Abstraction in Reinforcement Learning