New startup wants to solve urban congestion through data and lotteries