Forward variable selection enables fast and accurate dynamic system identification with Karhunen-Loève decomposed Gaussian processes | Synapse