When did the US formally take control of the Tucson area?