₦712bn infrastructure fund