Rosemary-Crusted Pork Tenderloin