Copper occurs naturally as native copper and was known to some of the oldest civilizations on record. When was copper first known to have been used?