It’s really expensive to short Tesla’s stock