Verification and Repair of Neural Networks: A Progress Report on Convolutional Models