Aplikacja górnictwa węgla kamiennego