Obama honors 5 Dallas officers shot by man out for revenge