Elon Musk, Mark Zuckerberg, Bill Gates and other tech leaders in closed Senate session about AI