A robotic system for post-stroke assessment and restoration of forelimb function in mice