BiMatting: Efficient Video Matting via Binarization Haotong Qin