Summary of NATO's destruction of Libya