Herb-Marinated Pork Tenderloins