Efficient Certified Training and Robustness Verification of Neural ODEs