I want to customize the video resolution when exporting.