Comparison of ultrasonic testing and infrared thermography for the detection of machining defects in composite materials