Astronomers discover 12.5-billion-year-old disk galaxy