Petro launches Bogota mayoral campaign