IBM's Dmitry Krotov wants to crack the 'physics' of memory