As Britain's last deep coal mine shuts down on Friday, here are some key facts and figures on the sector that has been in decline for decades.