valor del petro octubre 2019