RR: A Fault Model for Efficient TEE Replication