Joint Synthesis of Safety Certificate and Safe Control Policy using Constrained Reinforcement Learning