how old is ender in the book