在约束最优化问题中，常常利用什么数学工具，将原始问题转换为对偶问题。