Verification of Recurrent Neural Networks Through Rule Extraction