On-Board Software Maintenance for GOCE, ESA's Gravity Mission