A Formal Model for Video Shot Segmentation and its Application via Animate Vision