stir fry with broccoli, carrots, mushrooms and other vegetables in a wok