End-To-End Set-Based Training for Neural Network Verification