Epistemic Specifications and Conformant Planning