How is the kicker pool redistributed exactly? Is it a proportion of each employees ownership relative to all the other employees also eligible to receive redistribution? Is there a max amount that can be received by an employee from the redistribution pool?