Leaders who multiply intelligence get roughly twice the output