A Study of Sonic Logging in a Cased Borehole