16987 mines that only supply export coal in south africa