Training And Certification Of Neural Networks With Guarantees