How longwall automation has made mining safer