Comparing cooperative geometric puzzle solving in ants versus humans