Mining methods and costs at El Potosi Mine, El Potosi Mining Co., Chihuahua, Mexico