Consistency Models and Transactions