Semi-mechanistic computer simulation of psychotic symptoms in schizophrenia with a model of a humanized cortico-striatal-thalamocortical loop