Describir: Rewriting Logic and Its Applications