Cuanto es 1/2 petro hoy 2022