He Mined Coal for 30 Years. Now His Social Security Check Does What the Mine Used To.