Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations