Outside the Box: Abstraction-Based Monitoring of Neural Networks