Compressive sensing for direct time of flight estimation in ultrasound-based NDT