4K Real-Time HEVC Decoder on an FPGA