Introduction to Neural Network Verification