Reformat the ReadMe so it's consistent with the other code examples (add Problem Formulation section)