Quantum Simulation with Cold Atoms: Successes and Challenges