Larry Summers thinks US banks should maybe be a little bit bigger