Ex-Walmart, Home Depot executive named CEO of Denver smart sprinkler startup