The spectral conjugate gradient method in variational adjoint assimilation for model terrain correction I: Theoretical frame | Synapse