Taurus Database: How to be Fast, Available, and Frugal in the Cloud