Shenfun: High performance spectral Galerkin computing platform