Venezuela’s oil output sank to decades low in 2017