Fairify: Fairness Verification of Neural Networks