Amazon Web Services is now a nearly $9 billion-a-year cloud-computing machine