Closed-form congestion control via deep symbolic regression