DTI pays out £17m to Thompsons to cover costs of miners' claims