green beans in mustard sauce