Cost-Optimal Strong Planning in Non-Deterministic Domains