Neural Network Verification in Control (Tutorial)