PDVSA and Repsol sign deal to boost oil and gas output in Venezuela