On the equivalence of the modulus of smoothness and the K-functional over convex domains