Forward Analysis for WSTS, Part III: Karp-Miller Trees (Logical Methods in Computer Science, 2020)