A Channel Management Framework to Construct User Preferred Fast Channel Change Stream in IPTV