A whole-economy carbon price for Europe and how to get there