A Technical Overview of Arjuna: A System for Reliable Distributed Computing