Treewidth: Algorithmic results and techniques