Highly Available Transactions: Virtues and Limitations (Extended Version)