Deep-Sea DuraFET: A pressure tolerant pH sensor designed for global sensor networks