Amazon Web Services grew more slowly than ever, but that’s OK