Tesla sells three-quarters of its bitcoins for $1 billion