Efficient decomposition of quantum gates.