Identifying translatable biomarkers for SYNGAP1 haploinsufficiency with explainable machine learning