Health Risk Factors Among Miners, Oil and Gas Extraction Workers, Other Manual Labor Workers, and Nonmanual Labor Workers, BRFSS 2013–2017, 32 States