Solving connectivity problems parameterized by treewidth in single exponential time