havel-hakimi tests