Van Lith scores 19, Prince has double-double as No. 8 TCU beats No. 16 WVU 71-65 in Big 12 semifinal