US manufacturing PMI falls in October