Efficient model-assisted probability of detection in guided-wave structural health monitoring systems