David Hockney’s $90 million pool painting sold for 5,000 times its original price