Health conditions in retired manual labor miners and oil and gas extraction workers: National Health Interview Survey, 2007–2017. Issue 2 (26th October 2020)