On the origins of the word mint