Data Refinement: Model-oriented proof methods and their comparison