Statistical analysis of ionospheric total electron content (TEC): long-term estimation of extreme TEC in Japan