广义相对论场方程是如何导出的?