First human Neuralink patient leaves the hospital