divixtotal hdtv definicion