Herb-Roasted Pork Tenderloin