Lamb wave propagation modeling for structure health monitoring