Behind-the-scenes footage of the animatronic T-rex used in “Jurassic Park”