Does anyone know what algorithm the SQL Server RAND() function is using?