How long does it take to smoke a pork tenderloin