NASA is sending its first autonomous helicopter to Mars in 2020