High Drilling Rate and Long Service Life Percussive Rock-Drilling Tools: A Hundred-Year Puzzle for World Excavation Industry after Inventions of Industrial Explosives