Elon Musk is angling to save $13 billion on his purchase of Twitter