State-Regularized Recurrent Neural Networks to Extract Automata and Explain Predictions