Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude