Exact Properties of Restricted Randomization Procedures