the history of mechanical keyboards