FairProof: An AI System that Uses Zero-Knowledge Proofs to Publicly Verify the Fairness of a Model while Maintaining Confidentiality