cuanto es 1 petro en dolares