An implicit formulation for precise contact modeling between flexible solids | Synapse