Elon Musk, who runs four other companies, will now be Twitter CEO