Rosemary Garlic Pork Tenderloin