Pork Tenderloin with Bourbon-Barrel-Aged Beer Marinade