Updating problem formulation notes. Adding related work.