Microsoft’s cloud business had a huge quarter, but it’s still way behind Amazon