Technology developed by the companies in this year's cohort of the Smart Futures Lab at CU Denver include an AI system to detect sewer leaks.