definition of double toggle jaw crusher