BBC's "Planet Dinosaur" depicted Stegosaurus and Camptosaurus living in mixed herds and being mutualistic. What fossil evidence is there of this?