cuanto cuesta un petro en dolares