Safe exploration in model-based reinforcement learning using control barrier functions. (January 2023)