Simultaneous Diagonalization of Commuting Linear Transformations