Algebraic certificates of (semi)definiteness for polynomials over fields containing the rationals