한국 슈퍼컴퓨터 보유대수 세계 7위…성능 기준으론 9위