Formation property estimation from guided waves in a borehole