Miniature 10 kHz thermo-optic delay line in silicon