Efficient Algorithms for Recognizing Weighted Tree-Adjoining Languages