Parallel Instantiation of ASP Programs: Techniques and Experiments