Planowanie i harmonogramowanie produkcji górniczej z wykorzystaniem narzędzi informatycznych