Notational knowledge: developmental and historical perspectives