Grufingeniörsbefattningen i södra bergsmansdistriktet