Cutting a video without reencoding