Eurozone manufacturing PMI up slightly in November