Mining other than coal