Made changes up until non - parametric matching in methods. Added several sections to mathematical appendix.