A Theory of Abstraction in Reinforcement Learning