paper.tex - changes to protocol and new subsections

I generalized the estimation framework from 2 to m, since we don't need
to worry about MAC specifics. I also added sections for rigorous
mathematical definitions, but I'm still working those out.