A0-Mode Lamb Wave Based Detection of Corrosion under Coating Film in Plate-Like Metallic Structures: Analytical, Finite Element and Experimental Studies