Mixed-Precision Neural Networks: A Survey