The Needs of Better Mining Education