The GOCE gravity mission: ESA's first core explorer