The element was probably named by the alchemist Paracelsus after the German word Zinke (prong, tooth). Who is credited with discovering zinc?