Infrastructure and Intra‐Regional Trade in Africa