Concolic Testing on Individual Fairness of Neural Network Models