Hermansyah text Jakarta Badan Penelitian dan Pengembangan Energi dan Sumber Daya Mineral 2011 Tambang dan Sumber Pertambangan