Optimal Spectral-Norm Approximate Minimization of Weighted Finite Automata