Do you trim fat pork tenderloin?