Crack assessment in marble sculptures using ultrasonic measurements: Laboratory tests and application on the statue of David by Michelangelo