Shrimp and broccoli stir fry in a wok