Typing is faster than handwriting for people who know how to type