Computing Contingent Plans via Fully Observable Non-Deterministic Planning