Baboons (Papio anubis) living in larger social groups have bigger brains