Add State.overcapacitated_servers method (and some docstrings).