Learning to find a gap: navigational problem solving in nocturnal bull ants