A model of digging behaviour and tunnel production in ants