Infrastructure investor Whitehelm Capital has agreed up to £80m of investment in smart city operator Connexin.