Putting high availability into practice