Predictive mathematical modeling of knee static laxity after ACL reconstruction: in vivo analysis