FullCert: Deterministic End-to-End Certification for Training and Inference of Neural Networks