Musk is firing half of Twitter’s employees