Preorder-Constrained Simulations for Program Refinement with Effects