DEVELOPMENT BANK OF JAPAN INC. portfolio value