El ex guerrillero Gustavo Francisco Petro, nuevo alcalde de Bogotá