FETA: Fairness Enforced Verifying, Training, and Predicting Algorithms for Neural Networks