Tie-Breaking Strategies for Cost-Optimal Best First Search