Infrastructure and economic geography: An overview of theory and evidence