Twisted K-Theory and Finite-Dimensional Approximation