Coal mining production in the UK, 1880-2012 (DECC data)