A small but mighty helicopter on Mars shows how much robots can do