FairZK: A Scalable System to Prove Machine Learning Fairness in Zero-Knowledge