Mathematical modeling and computation of molecular solvation and binding