Rock duster mechanizes coal-mine safety procedure