Rosemary and Pepper-Crusted Pork Tenderloin