Benchmarking Safe Exploration in Deep Reinforcement Learning