Multi-threaded State Machine Replication