The digital potential of EU diplomacy and the European External Action Service (EEAS)