free lecture notes mining geology