Quantum computing with trapped ions: principles, achievements, and prospects | Synapse