GOCE user toolbox specifications (GUTS): system specification and architectural design