New Mining Tools and Methods for Roadheader Mining Heads