green beans and red peppers cooking in a wok