Die heilige Barbara, Schutzpatronin der Bergleute