Comparison between paper and electronic dictionaries, tracing the historical evolution of dictionaries from the 17th to the 19th century and user preferences