formalitas apa yang dibutuhkan pertempuran pertambangan