Tequila-Lime Pork Tenderloin