Fennel-Crusted Pork Tenderloin