mining engineer free lectures notes