Convergence of Actor-Critic with Multi-Layer Neural Networks