Neural networks and approximation theory