Construction of model Hamiltonians for adiabatic quantum computation and its application to finding low-energy conformations of lattice protein models | Synapse