Oldest ever: 5 planets found orbiting an 11.2-billion-year-old sun