Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP