Zakat Hasil Tambang: Definisi, Ketentuan, dan Perhitungannya