phd thesis mining engineering