米勒模型的推导过程是什么