HyperDex brings ACID transactions to NoSQL