Multi-Server Verifiable Computation of Low-Degree Polynomials