How big is a brachiosaurus? (1986)