BRICS development bank launches in Shanghai