Topological order in the projected entangled-pair states formalism: transfer operator and boundary Hamiltonians.