Eurozone manufacturing PMI slightly up in December