XDO: A Double Oracle Algorithm for Extensive-Form Games