Certified Reinforcement Learning