Quantum algorithms for spin models and simulable gate sets for quantum computation