How did Dick become a nickname for Richard? Did it predate the usage of “dick” to mean “penis?”