The eurozone is officially back in recession