Reinforcement Learning in Healthcare: A Survey