U.S. manufacturing output picks up in October