River: A Tightly-coupled Radar-inertial Velocity Estimator Based on Continuous-time Optimization | Synapse