Mathematical theories of neural networks