How we film some of the dives at Red Bull Cliff Diving