coal mining employment by year