Continuous collision detection for articulated models using Taylor models and temporal culling