Men participate less often in 401(k) plans than women, unless they are automatically enrolled