Solving time-varying quadratic programs based on finite-time Zhang neural networks and their application to robot tracking