A team of ocean engineers just won $4 million for these robots that map uncharted areas of the sea lightning-fast — and they could change everything we know about the oceans