Shimon Peres: World leaders gather for funeral of former Israeli PM