Individual Fairness Guarantees for Neural Networks