How do trap-jaw ants perfectly time their snaps?