Computational design of a neuronal logic device and genetic reprogramming of human iPSCs to control neuronal identity in vitro