A robust and tractable contact model for dynamic robotic simulation