Record price for a Leonardo painting