The Amazon executive in charge of Astro robot is leaving the company