Green beans with mustard sauce