Borehole Acoustic Logging Theory and Methods