NASA's planet-hunting satellite TESS launches