add State.overcapacitated_servers method (and some docstrings)