Technik podziemnej eksploatacji kopalin innych niż węgiel kamienny 7–8