advanced tools used in mining manual stone crushers