green beans with mushrooms and cherry tomatoes