Eurozone manufacturing PMI sets record high in June