ProBF: Learning Probabilistic Safety Certificates with Barrier Functions