Color mixing in dental porcelain.