A solution for time synchronization of multiple servers in a LAN