Nominal Automata for Resource Usage Control