Explaining Black Boxes on Sequential Data using Weighted Automata