These four tech teams just won $12 million in the ERA carbon Grand Challenge