Method for distributed transaction commit and recovery using Byzantine Agreement within clusters of processors