“There’s a virtuosic methodology you might associate with King Crimson, even if the results are very different”: Why Portishead’s Dummy qualifies as a prog album