How long ago do scientists think the solar system formed?