A Theoretical Study of Neural Network Expressive Power via Manifold Topology