Former Libyan leader Gaddafi killed