A dynamic spine model for interactive hypermedia synchronization