LaserDisc had a number of advantages over VHS. How many horizontal TVL lines did LaserDisc have in comparison to VHS's 240