Exploring Quantum Many-Body Systems In Programmable Trapped Ion Quantum Simulators