historical mine redevelopment