How Relevant Is Infrastructure to Growth in East Asia?