Copyless cost-register automata : Structure, expressiveness, and closure properties