The needs of better mining education