Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data