Gravar-mail: Application of biasing-potential replica exchange simulations for loop modeling and refinement of proteins in explicit solvent