Project Hail Mary plot summary