mexican spiced pork tenderloin