RAF Tornado aircraft have been carrying out air strikes in Iraq