U.S. mining population survey