Why is ASM International stock in the red today?