Overparameterization In Neural Networks: From Application To Theory