鉱山の歴史