ball mill definition of coal gangue