Text this: Efficiency evaluation of vibration milling of mineral materials in the context of solid wastes from hydrogen fluoride production