Linearizability and State-Machine Replication: Is It a Match?