Convert M2TS to AVI for HDTV: The Best Lossless Methods