I need to mulch green leaves and small tree branches for my tumbler composter - so what is the difference between a shredder and crusher mulcher? I assume a chipper is basically for branches and produces around 12mm chips but what do the shredders and crushers do?