Pork stir-fry with broccoli and mushrooms