gornictwo historia