GALERKIN APPROXIMATION FOR OPTIMAL LINEAR-FILTERING OF INFINITE-DIMENSIONAL LINEAR-SYSTEMS