Quantum simulation of many-body problems