Universal quantum computation with spin-1/2 pairs and Heisenberg exchange.