Conformant Planning via Model Checking