Modeling of a piezoelectric transducer and its application to full waveform acoustic logging