Inter4K: A Dataset for Video Interpolation and Super-Resolution in 4K