Symmetric hyperbolic form of systems of second-order evolution equations subject to constraints