Polished versus autoglazed dental porcelain.