When to Trust AI: Advances and Challenges for Certification of Neural Networks