Building Europe’s Public Digital Infrastructure