Elon Musk on Twitter reducing its staff size by 80% since his takeover: