VeraSea: The AI Laboratory for the Ocean