Trump says tech leaders and mayor changed his mind about using federal force in San Francisco