Digital prototyping tools: pros and cons of Tabletop Simulator, Tabletopia, Tabletop Playground, and Screentop.gg (video)