Reducing a video in file size