Data Refinement: Model-Oriented Proof Methods and their Comparison