Certifying Fairness of Probabilistic Circuits