Highly Scalable Deep Learning Training System with Mixed-Precision: Training ImageNet in Four Minutes