Eurozone officially in recession