How have more people refined oil than have pumped oil?