Formal Specification of Data Types in the Deep Carbon Observatory Data Portal