Cloud Computing: Today's Four Favorite Flavors, Explained