Computational phenotyping of effort-based decision-making in type-2 diabetes on and off semaglutide | Synapse