K-functional, weighted moduli of smoothness, and best weighted polynomial approximation on a simplex