Leonardo da Vinci's Salvator Mundi sells for record $450M