Some facts from Santosh Hegde's final report on illegal mining