The virtual Haken conjecture: Experiments and examples