De Heilige Barbara, schutspatrones van architecten en bouwvakarbeiders