Eurozone manufacturing PMI rises slightly to 7-month high