Integrating CERN’s high-TRL services and technology into the EOSC Federation