A finite-time convergent Zhang neural network and its application to real-time matrix square root finding