Indonesia formally joins Brics group of emerging economies