Rule Extraction from Binary Neural Networks with Convolutional Rules for Model Validation