how does a double roll crusher operate