green beans with mustard sauce