Pork Tenderloin with Rosemary and Fennel