Simulating Many-Body Quantum Spin Models With Trapped Ions