High Availability for Database Systems in Geographically Distributed Cloud Computing Environments