datoms and seek_datoms js api