stir-fried pork tenderloin with potatoes and green peppers