Eurozone manufacturing PMI sets record high in April