Borehole acoustic logging -- theory and methods. (2020)