Optimization of the Number of Dump Trucks Using Queuing Theory to Minimize the Loading and Hauling Cost of Overburden at Batu Hijau Mine PT Amman Mineral Nusa Tenggara