ワールドワイドウェブのソースコード、サザビーズで540万ドルで落札