Solving Connectivity Problems Parameterized by Treedepth in Single-Exponential Time and Polynomial Space Academic Article