stir-fried pork with baby corn