Identifikasi dan pemodelan 3 dimensi batas zona caving menggunakan metode Ground Penetrating Radar pada tambang bawah tanah PT Freeport Indonesia = Identification and 3 dimensional modeling of caving zone boundaries using the Ground Penetrating Radar method in PT Freeport Indonesia's underground mine