Types of AVI/MOV used for editing? Does it matter?