Machine-actionable criteria chart the symptom space of mental disorders | Synapse