cech górniczy, także samo górnictwo