Quantitative Certification of Bias in Large Language Models