The Size of Power Automata