Maude as a Platform for Designing and Implementing Deep Inference Systems