Why does ASTC use ISE when almost nothing else does?