Stir-Fried Pork Tenderloin with Vegetables