Spiking neurons as predictive controllers of linear systems