NUQSGD: Provably Communication-efficient Data-parallel SGD via Nonuniform Quantization