Theory of electromagnetic well logging. (2017)