What is the best file format for video to be imported? I can convert them myself before import to the optimal formats.