Trump, G7 leaders praise Iran deal and agree to increase pressure on Russia