Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae (Logical Methods in Computer Science, 2016)