Vegetable-Stuffed Pork Tenderloin