adding 11 to national_number_lengths on Brazil because Sao Paulo city uses more
digits on number.