mühendislik ölçmelerinin kömür madenciliğindeki yeri