A High-Precision, Low-Overhead Time Synchronization of Server Clusters using SmartNICs | Synapse