A Definition of Continual Reinforcement Learning