A model-based approach for inspection of aeronautical multi-layered structures by eddy currents