Merger of the World Bank’s environment and infrastructure networks