Email Record: Oil discovery and technical change in Southeast Asia