How far is an astronomical unit?