AI helps researchers dig through old maps to find lost oil and gas wells