基于谈判的大宗股票电子交易的市场建模和自动议价