Wyślij emailem: Automatic Generation of DistAlgo Programs from Event-B Models