Machine discovery of effective admissible heuristics