Nokia 3310: quanto custaria o "tijolão original" em 2025, ajustado pela inflação