A Hierarchy of Twofold Resource Allocation Automata Supporting Optimal Web Polling