Topological groups whose closed subgroups are separable, and the product operation