A treasure hunter went missing in the Rocky Mountains, and a computer algorithm found him months later