Saif al-Islam Gaddafi, son of former leader, killed in Libya