DySel: Lightweight Dynamic Selection for Kernel-based Data-parallel Programming Model