김씨가 보험료로 사천 만원 이상을 내고도 깡통보험이 된 것은 보험료 자동 대체납입제도를 이용했기 때문이다