NASA astronauts splash down off Florida coast, ending 9-month saga