Europe's industrial output jumped annually this May