metalliferous mining processing resource book grinding