Important revision: simplified formulas, and more description.