Da Vinci's 'Salvator Mundi' becomes most expensive painting in history