Symbolic Distillation for Learned TCP Congestion Control