Leonardo da Vinci’s ‘Salvator Mundi’ sells for record $450 million