Title: New Mining Tools and Methods for Roadheader Mining Heads