Replicated State Machines without Replicated Execution