Did Steve Ballmer overpay for the Clippers?