Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis