Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains