In addition to those systems, they use an Amazon-built private cloud.

https://www.theatlantic.com/technology/archive/2014/07/the-d...