Capai Rp247 Triliun, Indonesia Penerbit Sukuk Terbesar Dunia