The topology of compact Lie group actions through the lens of finite models