Computation In Population Protocols: Exact Majority, Uniform Computation, And The Dynamic Model