Mathematical Theory of Neural Network Models for Machine Learning