what goes with pork tenderloin?