Samsung and SK Hynix are both big consumers of lithography machines