Qual era a população do Japão em 2018?