Garlic-rosemary Roasted Pork Tenderloin