A review on guided-ultrasonic-wave-based structural health monitoring: From fundamental theory to machine learning techniques