Pork Tenderloin in Tequila