military and mining engineering