Quantum computation with trapped ions in an optical cavity.