Geochemical evolution of halogen-enriched granite magmas and mineralizing fluids of the Zinnwald tin-tungsten mining district, Erzgebirge, Germany