Simulation of Lamb waves via refined FE models with SHM applications