ASML to ship some top chip tools to Chinese customers until year-end