How robot movie cameras made the film “Gravity” possible