Boat Dynamics and Force Rendering Models for the SPRINT System