A homecage operant paradigm reveals behavioral dynamics of social motivation in mice | Synapse