Training Verification-Friendly Neural Networks via Neuron Behavior Consistency