Occipital condyle in the ceratopsian dinosaur Triceratops, with comments on body size variation