European defence infrastructure case study: Launching Europe’s €10.6 billion constellation of satellites