Free energy computation: a mathematical perspective.