Properties of Greedy Best-First Search