Public procurement in Big Science: politics or technology? The case of CERN