Quantum simulation with superconducting circuits