dimensionality-reduction distributed-training-of-high-efficient-models edge-and-mobile-devices machine-learning model-optimisation pruning quantization tensorflow