US manufacturing growth gains pace in May