Banco de Pagamentos Internacionais, BIS, BPI, Banco Internacional de Pagamentos (nome próprio)