Analytical methods for dynamic simulation of non-penetrating rigid bodies