what is the formula for distributing sats to users? When I get sats from SN, I don't understand how that number is determined