Locating SIP servers using DNS in SailFin