how big is the kennecott copper mine