Riyadh metro worth $22.5bn