Why two diggers can't dig a hole twice as fast: the Ringelmann effect