Ground subsidence at San Manuel Copper Mine, SE Arizona