DOC: Benchmarks and problem formulations chapters of User's Guide