Normalizing the Taylor expansion of non-deterministic {lambda}-terms, via parallel reduction of resource vectors (Logical Methods in Computer Science, 2019)