Shrub-depth: Capturing Height of Dense Graphs (Logical Methods in Computer Science, 2019)