“Is it possible to edit 4k video in an editing program that only goes up to 1080p?”