How AWS used random graph theory to build more efficient data centers