Infrastructure development, institutions, and intra-regional trade: The case of East Africa