Venezuela’s oil industry