Pork tenderloin with chipotle chile sauce