线性规划中的对偶规划模型及对偶理论